1. Tests and Proofs
پدیدآورنده : edited by Achim D. Brucker, Jacques Julliand
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
